Interleaving data and effects

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Interleaving data and effects

The study of programming with and reasoning about inductive datatypes such as lists and trees has benefited from the simple categorical principle of initial algebras. In initial algebra semantics, each inductive datatype is represented by an initial f-algebra for an appropriate functor f. The initial algebra principle then supports the straightforward derivation of definitional principles and p...

متن کامل

Interleaving Reasoning and Selection with Semantic Data

The scalability is a crucial topic for practical applications of the Semantic Web, because of the extremely large scale data on the Web. In this paper we propose a general framework of interleaving reasoning and selection with semantic data. The main idea of the interleaving framework is to use some selectors to select only limited and relevant part of data for reasoning, so that the efficiency...

متن کامل

Effects of Interleaving on RTP Header Compression

We discuss the use of interleaving as a bandwidth efficient means of protecting audio streams from the effects of packet loss in the Internet. The adverse effects of interleaving on IP/UDP/RTP header compression are noted and a number of schemes which remedy this problem are discussed. Keywords— RTP, Interleaving, Voice-over-IP, header compression.

متن کامل

Learning Humanoid Soccer Actions Interleaving Simulated and Real Data

This paper presents an approach for learning complex tasks on real robots, like walking or kicking in a humanoid soccer robot, profiting at most from the possibility to run simulations of a virtual model of the robot. This approach avoids to damage the real robot in the time consuming trials needed to learn a correct behavior and avoids to overfit the virtual robot model. The basic idea is to r...

متن کامل

Improving Bluetooth EDR Data Throughput Using FEC and Interleaving

Wireless communication is inherently vulnerable to errors from the dynamic wireless environment. Link layer packets discarded due to these errors impose a serious limitation on the maximum achievable throughput in the wireless channel. To enhance the overall throughput of wireless communication, it is necessary to deploy link layer transmission schemes that is robust to the errors intrinsic to ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Functional Programming

سال: 2015

ISSN: 0956-7968,1469-7653

DOI: 10.1017/s0956796815000209